- simplified checking
- упрощённая проверка
The English-Russian dictionary on reliability and quality control. 2015.
simplified checking
Смотреть что такое "simplified checking" в других словарях:
Debate on traditional and simplified Chinese characters — Debate about the simplification of Chinese characters Traditional Chinese 漢字簡化爭論 Simplified Chinese … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Xiangqi — Chinese chess redirects here. For other uses, see Chinese chess (disambiguation). Xiangqi Xiangqi board with pieces in their starting positions Genre(s) Board game Players 2 … Wikipedia
Comparison of web browsers — September 2011, web browser usage share. Source: Median values from summary table … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Betting (poker) — This article describes only the common terms, rules, and procedures of betting in poker. See poker strategy for the strategic impact of betting. In the game of poker, the play largely centers around the act of betting, and as such, a protocol has … Wikipedia
Betting in poker — Poker positions at a 10 handed table. This article is about the common terms, rules, and procedures of betting in poker only. For the strategic impact of betting, see poker strategy. In the game of poker, the play largely centers on the act of… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Backjumping — In backtracking algorithms, backjumping is a technique that reduces search space, therefore increasing efficiency. While backtracking always goes up one level in the search tree when all values for a variable have been tested, backjumping may go… … Wikipedia
Firefox — For other uses, see Firefox (disambiguation). Phoenix (web browser) redirects here. For the Phoenix browser based on tkWWW, see tkWWW. Firefox … Wikipedia
C standard library — The C Standard Library consists of a set of sections of the ANSI C standard in the programming language C. They describe a collection of headers and library routines used to implement common operations such as input/output[1] and string handling … Wikipedia
